<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
<title>Class template map</title>
<link rel="stylesheet" href="../../../../../../doc/src/boostbook.css" type="text/css">
<meta name="generator" content="DocBook XSL Stylesheets V1.74.0">
<link rel="home" href="../../index.html" title="Chapter&#160;1.&#160;Boost.Icl">
<link rel="up" href="../../header/boost/icl/map_hpp.html" title="Header &lt;boost/icl/map.hpp&gt;">
<link rel="prev" href="total_enricher.html" title="Struct total_enricher">
<link rel="next" href="map/on_codomain_model_id658058.html" title="Struct template on_codomain_model&lt;Type, false, false&gt;">
</head>
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<table cellpadding="2" width="100%"><tr>
<td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../../boost.png"></td>
<td align="center"><a href="../../../../../../index.html">Home</a></td>
<td align="center"><a href="../../../../../libraries.htm">Libraries</a></td>
<td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
<td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
<td align="center"><a href="../../../../../../more/index.htm">More</a></td>
</tr></table>
<hr>
<div class="spirit-nav">
<a accesskey="p" href="total_enricher.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../../header/boost/icl/map_hpp.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="map/on_codomain_model_id658058.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
</div>
<div class="refentry" lang="en">
<a name="boost.icl.map"></a><div class="titlepage"></div>
<div class="refnamediv">
<h2><span class="refentrytitle">Class template map</span></h2>
<p>boost::icl::map &#8212; Addable, subractable and intersectable maps. </p>
</div>
<h2 xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="refsynopsisdiv-title">Synopsis</h2>
<div xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" class="refsynopsisdiv"><pre class="synopsis"><span class="comment">// In header: &lt;<a class="link" href="../../header/boost/icl/map_hpp.html" title="Header &lt;boost/icl/map.hpp&gt;">boost/icl/map.hpp</a>&gt;

</span><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> DomainT<span class="special">,</span> <span class="keyword">typename</span> CodomainT<span class="special">,</span> 
         <span class="keyword">typename</span> Traits <span class="special">=</span> <span class="identifier">icl</span><span class="special">::</span><span class="identifier">partial_absorber</span><span class="special">,</span> 
         <span class="identifier">ICL_COMPARE</span> Compare <span class="special">=</span> <span class="identifier">ICL_COMPARE_INSTANCE</span><span class="special">(</span><span class="identifier">ICL_COMPARE_DEFAULT</span><span class="special">,</span> <span class="identifier">DomainT</span><span class="special">)</span><span class="special">,</span> 
         <span class="identifier">ICL_COMBINE</span> Combine <span class="special">=</span> <span class="identifier">ICL_COMBINE_INSTANCE</span><span class="special">(</span><span class="identifier">icl</span><span class="special">::</span><span class="identifier">inplace_plus</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">,</span> 
         <span class="identifier">ICL_SECTION</span> Section <span class="special">=</span> <span class="identifier">ICL_SECTION_INSTANCE</span><span class="special">(</span><span class="identifier">icl</span><span class="special">::</span><span class="identifier">inter_section</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">,</span> 
         <span class="identifier">ICL_ALLOC</span> Alloc <span class="special">=</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">allocator</span><span class="special">&gt;</span> 
<span class="keyword">class</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">{</span>
<span class="keyword">public</span><span class="special">:</span>
  <span class="comment">// types</span>
  <span class="keyword">typedef</span> <span class="identifier">Alloc</span><span class="special">&lt;</span> <span class="keyword">typename</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special">&lt;</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">&gt;</span> <span class="special">&gt;</span>                                                          <a name="boost.icl.map.allocator_type"></a><span class="identifier">allocator_type</span><span class="special">;</span>            
  <span class="keyword">typedef</span> <a class="link" href="map.html" title="Class template map">icl::map</a><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">&gt;</span>                                         <a name="boost.icl.map.type"></a><span class="identifier">type</span><span class="special">;</span>                      
  <span class="keyword">typedef</span> <span class="identifier">ICL_IMPL_SPACE</span><span class="special">::</span><span class="identifier">map</span><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">ICL_COMPARE_DOMAIN</span><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">DomainT</span><span class="special">)</span><span class="special">,</span> <span class="identifier">allocator_type</span> <span class="special">&gt;</span>                  <a name="boost.icl.map.base_type"></a><span class="identifier">base_type</span><span class="special">;</span>                 
  <span class="keyword">typedef</span> <span class="identifier">Traits</span>                                                                                                           <a name="boost.icl.map.traits"></a><span class="identifier">traits</span><span class="special">;</span>                    
  <span class="keyword">typedef</span> <span class="identifier">DomainT</span>                                                                                                          <a name="boost.icl.map.domain_type"></a><span class="identifier">domain_type</span><span class="special">;</span>               
  <span class="keyword">typedef</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">call_traits</span><span class="special">&lt;</span> <span class="identifier">DomainT</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">param_type</span>                                                                        <a name="boost.icl.map.domain_param"></a><span class="identifier">domain_param</span><span class="special">;</span>              
  <span class="keyword">typedef</span> <span class="identifier">DomainT</span>                                                                                                          <a name="boost.icl.map.key_type"></a><span class="identifier">key_type</span><span class="special">;</span>                  
  <span class="keyword">typedef</span> <span class="identifier">CodomainT</span>                                                                                                        <a name="boost.icl.map.codomain_type"></a><span class="identifier">codomain_type</span><span class="special">;</span>             
  <span class="keyword">typedef</span> <span class="identifier">CodomainT</span>                                                                                                        <a name="boost.icl.map.mapped_type"></a><span class="identifier">mapped_type</span><span class="special">;</span>               
  <span class="keyword">typedef</span> <span class="identifier">CodomainT</span>                                                                                                        <a name="boost.icl.map.data_type"></a><span class="identifier">data_type</span><span class="special">;</span>                 
  <span class="keyword">typedef</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special">&lt;</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">&gt;</span>                                                                            <a name="boost.icl.map.element_type"></a><span class="identifier">element_type</span><span class="special">;</span>              
  <span class="keyword">typedef</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special">&lt;</span> <span class="keyword">const</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span> <span class="special">&gt;</span>                                                                            <a name="boost.icl.map.value_type"></a><span class="identifier">value_type</span><span class="special">;</span>                
  <span class="keyword">typedef</span> <span class="identifier">domain_compare</span>                                                                                                   <a name="boost.icl.map.key_compare"></a><span class="identifier">key_compare</span><span class="special">;</span>               
  <span class="keyword">typedef</span> <span class="identifier">inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_combine</span> <span class="special">&gt;</span><span class="special">::</span><a class="link" href="map.html#boost.icl.map.type">type</a>                                                                                <a name="boost.icl.map.inverse_codomain_combine"></a><span class="identifier">inverse_codomain_combine</span><span class="special">;</span>  
  <span class="keyword">typedef</span> <span class="identifier">mpl</span><span class="special">::</span><span class="identifier">if_</span><span class="special">&lt;</span> <span class="identifier">has_set_semantics</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</span><span class="special">,</span> <span class="identifier">ICL_SECTION_CODOMAIN</span><span class="special">(</span><span class="identifier">Section</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">,</span> <span class="identifier">codomain_combine</span> <span class="special">&gt;</span><span class="special">::</span><a class="link" href="map.html#boost.icl.map.type">type</a> <a name="boost.icl.map.codomain_intersect"></a><span class="identifier">codomain_intersect</span><span class="special">;</span>        
  <span class="keyword">typedef</span> <span class="identifier">inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_intersect</span> <span class="special">&gt;</span><span class="special">::</span><a class="link" href="map.html#boost.icl.map.type">type</a>                                                                              <a name="boost.icl.map.inverse_codomain_intersect"></a><span class="identifier">inverse_codomain_intersect</span><span class="special">;</span>
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">value_compare</span>                                                                                         <a name="boost.icl.map.value_compare"></a><span class="identifier">value_compare</span><span class="special">;</span>             
  <span class="keyword">typedef</span> <span class="identifier">ICL_IMPL_SPACE</span><span class="special">::</span><span class="identifier">set</span><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">domain_compare</span><span class="special">,</span> <span class="identifier">Alloc</span><span class="special">&lt;</span> <span class="identifier">DomainT</span> <span class="special">&gt;</span> <span class="special">&gt;</span>                                                 <a name="boost.icl.map.set_type"></a><span class="identifier">set_type</span><span class="special">;</span>                  
  <span class="keyword">typedef</span> <span class="identifier">set_type</span>                                                                                                         <a name="boost.icl.map.key_object_type"></a><span class="identifier">key_object_type</span><span class="special">;</span>           
  <span class="keyword">typedef</span> <span class="identifier">on_absorbtion</span><span class="special">&lt;</span> <a class="link" href="map.html#boost.icl.map.type">type</a><span class="special">,</span> <span class="identifier">codomain_combine</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">::</span><span class="identifier">absorbs_identities</span> <span class="special">&gt;</span>                                              <a name="boost.icl.map.on_identity_absorbtion"></a><span class="identifier">on_identity_absorbtion</span><span class="special">;</span>    
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">pointer</span>                                                                                               <a name="boost.icl.map.pointer"></a><span class="identifier">pointer</span><span class="special">;</span>                   
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">const_pointer</span>                                                                                         <a name="boost.icl.map.const_pointer"></a><span class="identifier">const_pointer</span><span class="special">;</span>             
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">reference</span>                                                                                             <a name="boost.icl.map.reference"></a><span class="identifier">reference</span><span class="special">;</span>                 
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">const_reference</span>                                                                                       <a name="boost.icl.map.const_reference"></a><span class="identifier">const_reference</span><span class="special">;</span>           
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">iterator</span>                                                                                              <a name="boost.icl.map.iterator"></a><span class="identifier">iterator</span><span class="special">;</span>                  
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">const_iterator</span>                                                                                        <a name="boost.icl.map.const_iterator"></a><span class="identifier">const_iterator</span><span class="special">;</span>            
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">size_type</span>                                                                                             <a name="boost.icl.map.size_type"></a><span class="identifier">size_type</span><span class="special">;</span>                 
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">difference_type</span>                                                                                       <a name="boost.icl.map.difference_type"></a><span class="identifier">difference_type</span><span class="special">;</span>           
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">reverse_iterator</span>                                                                                      <a name="boost.icl.map.reverse_iterator"></a><span class="identifier">reverse_iterator</span><span class="special">;</span>          
  <span class="keyword">typedef</span> <span class="identifier">base_type</span><span class="special">::</span><span class="identifier">const_reverse_iterator</span>                                                                                <a name="boost.icl.map.const_reverse_iterator"></a><span class="identifier">const_reverse_iterator</span><span class="special">;</span>    

  <span class="comment">// member classes/structs/unions</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_codomain_model_id658058.html" title="Struct template on_codomain_model&lt;Type, false, false&gt;">on_codomain_model</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">,</span> <span class="keyword">false</span><span class="special">&gt;</span> <span class="special">{</span>

    <span class="comment">// <a class="link" href="map/on_codomain_model_id658058.html#id658075-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codomain_model_id658058.html#id658077-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span><span class="special">,</span> 
                         <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_codomain_model_id658098.html" title="Struct template on_codomain_model&lt;Type, false, true&gt;">on_codomain_model</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">,</span> <span class="keyword">true</span><span class="special">&gt;</span> <span class="special">{</span>

    <span class="comment">// <a class="link" href="map/on_codomain_model_id658098.html#id658114-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codomain_model_id658098.html#id658117-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span><span class="special">,</span> 
                         <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_codomain_model_id658137.html" title="Struct template on_codomain_model&lt;Type, true, false&gt;">on_codomain_model</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">,</span> <span class="keyword">false</span><span class="special">&gt;</span> <span class="special">{</span>
    <span class="comment">// types</span>
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_intersect</span> <a class="link" href="map/on_codomain_model_id658137.html#boost.icl.map.on_codomain_model_id658137.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>

    <span class="comment">// <a class="link" href="map/on_codomain_model_id658137.html#id658159-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codomain_model_id658137.html#id658161-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span><span class="special">,</span> 
                         <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_codomain_model_id658182.html" title="Struct template on_codomain_model&lt;Type, true, true&gt;">on_codomain_model</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">,</span> <span class="keyword">true</span><span class="special">&gt;</span> <span class="special">{</span>
    <span class="comment">// types</span>
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_intersect</span> <a class="link" href="map/on_codomain_model_id658182.html#boost.icl.map.on_codomain_model_id658182.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>

    <span class="comment">// <a class="link" href="map/on_codomain_model_id658182.html#id658203-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_codomain_model_id658182.html#id658206-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span><span class="special">,</span> 
                         <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_definedness_Ty_id658226.html" title="Struct template on_definedness&lt;Type, false&gt;">on_definedness</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">&gt;</span> <span class="special">{</span>

    <span class="comment">// <a class="link" href="map/on_definedness_Ty_id658226.html#id658240-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_definedness_Ty_id658226.html#id658243-bb"><span class="identifier">add_intersection</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_definedness_Ty_id658263.html" title="Struct template on_definedness&lt;Type, true&gt;">on_definedness</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">&gt;</span> <span class="special">{</span>

    <span class="comment">// <a class="link" href="map/on_definedness_Ty_id658263.html#id658278-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_definedness_Ty_id658263.html#id658280-bb"><span class="identifier">add_intersection</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_invertible_Typ_id658300.html" title="Struct template on_invertible&lt;Type, false&gt;">on_invertible</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">&gt;</span> <span class="special">{</span>
    <span class="comment">// types</span>
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span>             <a class="link" href="map/on_invertible_Typ_id658300.html#boost.icl.map.on_invertible_Typ_id658300.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>            
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_combine</span> <a class="link" href="map/on_invertible_Typ_id658300.html#boost.icl.map.on_invertible_Typ_id658300.inverse_codomain_combine"><span class="identifier">inverse_codomain_combine</span></a><span class="special">;</span>

    <span class="comment">// <a class="link" href="map/on_invertible_Typ_id658300.html#id658324-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_invertible_Typ_id658300.html#id658327-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_invertible_Typ_id658342.html" title="Struct template on_invertible&lt;Type, true&gt;">on_invertible</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">&gt;</span> <span class="special">{</span>
    <span class="comment">// types</span>
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span>             <a class="link" href="map/on_invertible_Typ_id658342.html#boost.icl.map.on_invertible_Typ_id658342.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>            
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_combine</span> <a class="link" href="map/on_invertible_Typ_id658342.html#boost.icl.map.on_invertible_Typ_id658342.inverse_codomain_combine"><span class="identifier">inverse_codomain_combine</span></a><span class="special">;</span>

    <span class="comment">// <a class="link" href="map/on_invertible_Typ_id658342.html#id658366-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_invertible_Typ_id658342.html#id658369-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_total_absorbab_id658384.html" title="Struct template on_total_absorbable&lt;Type, false, false&gt;">on_total_absorbable</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">,</span> <span class="keyword">false</span><span class="special">&gt;</span> <span class="special">{</span>
    <span class="comment">// types</span>
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span>               <a class="link" href="map/on_total_absorbab_id658384.html#boost.icl.map.on_total_absorbab_id658384.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>              
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span>              <a class="link" href="map/on_total_absorbab_id658384.html#boost.icl.map.on_total_absorbab_id658384.codomain_type"><span class="identifier">codomain_type</span></a><span class="special">;</span>             
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span>                   <a class="link" href="map/on_total_absorbab_id658384.html#boost.icl.map.on_total_absorbab_id658384.iterator"><span class="identifier">iterator</span></a><span class="special">;</span>                  
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_intersect</span> <a class="link" href="map/on_total_absorbab_id658384.html#boost.icl.map.on_total_absorbab_id658384.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>

    <span class="comment">// <a class="link" href="map/on_total_absorbab_id658384.html#id658420-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_absorbab_id658384.html#id658423-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_total_absorbab_id658438.html" title="Struct template on_total_absorbable&lt;Type, false, true&gt;">on_total_absorbable</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">false</span><span class="special">,</span> <span class="keyword">true</span><span class="special">&gt;</span> <span class="special">{</span>
    <span class="comment">// types</span>
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span>               <a class="link" href="map/on_total_absorbab_id658438.html#boost.icl.map.on_total_absorbab_id658438.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>              
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span>              <a class="link" href="map/on_total_absorbab_id658438.html#boost.icl.map.on_total_absorbab_id658438.codomain_type"><span class="identifier">codomain_type</span></a><span class="special">;</span>             
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">iterator</span>                   <a class="link" href="map/on_total_absorbab_id658438.html#boost.icl.map.on_total_absorbab_id658438.iterator"><span class="identifier">iterator</span></a><span class="special">;</span>                  
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">inverse_codomain_intersect</span> <a class="link" href="map/on_total_absorbab_id658438.html#boost.icl.map.on_total_absorbab_id658438.inverse_codomain_intersect"><span class="identifier">inverse_codomain_intersect</span></a><span class="special">;</span>

    <span class="comment">// <a class="link" href="map/on_total_absorbab_id658438.html#id658474-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_absorbab_id658438.html#id658477-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_total_absorbab_id658492.html" title="Struct template on_total_absorbable&lt;Type, true, false&gt;">on_total_absorbable</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">,</span> <span class="keyword">false</span><span class="special">&gt;</span> <span class="special">{</span>
    <span class="comment">// types</span>
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span>  <a class="link" href="map/on_total_absorbab_id658492.html#boost.icl.map.on_total_absorbab_id658492.element_type"><span class="identifier">element_type</span></a><span class="special">;</span> 
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">codomain_type</span> <a class="link" href="map/on_total_absorbab_id658492.html#boost.icl.map.on_total_absorbab_id658492.codomain_type"><span class="identifier">codomain_type</span></a><span class="special">;</span>

    <span class="comment">// <a class="link" href="map/on_total_absorbab_id658492.html#id658519-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_absorbab_id658492.html#id658521-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Type<span class="special">&gt;</span> 
  <span class="keyword">struct</span> <a class="link" href="map/on_total_absorbab_id658537.html" title="Struct template on_total_absorbable&lt;Type, true, true&gt;">on_total_absorbable</a><span class="special">&lt;</span><span class="identifier">Type</span><span class="special">,</span> <span class="keyword">true</span><span class="special">,</span> <span class="keyword">true</span><span class="special">&gt;</span> <span class="special">{</span>
    <span class="comment">// types</span>
    <span class="keyword">typedef</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <a class="link" href="map/on_total_absorbab_id658537.html#boost.icl.map.on_total_absorbab_id658537.element_type"><span class="identifier">element_type</span></a><span class="special">;</span>

    <span class="comment">// <a class="link" href="map/on_total_absorbab_id658537.html#id658558-bb">public static functions</a></span>
    <span class="keyword">static</span> <span class="keyword">void</span> <a class="link" href="map/on_total_absorbab_id658537.html#id658561-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="identifier">Type</span> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">typename</span> <span class="identifier">Type</span><span class="special">::</span><span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="special">}</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="map.html#boost.icl.mapconstruct-copy-destruct">construct/copy/destruct</a></span>
  <a class="link" href="map.html#id659276-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="map.html#id659277-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">key_compare</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> InputIterator<span class="special">&gt;</span> <a class="link" href="map.html#id659283-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="identifier">InputIterator</span><span class="special">,</span> <span class="identifier">InputIterator</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> InputIterator<span class="special">&gt;</span> 
    <a class="link" href="map.html#id659300-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="identifier">InputIterator</span><span class="special">,</span> <span class="identifier">InputIterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">key_compare</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="map.html#id659322-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">explicit</span> <a class="link" href="map.html#id659331-bb"><span class="identifier">map</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="map.html#id659348-bb"><span class="identifier">map</span></a><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;&amp;</span><span class="special">)</span><span class="special">;</span>
  map&amp; <a class="link" href="map.html#id659338-bb"><span class="keyword">operator</span><span class="special">=</span></a><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  map&amp; <a class="link" href="map.html#id659356-bb"><span class="keyword">operator</span><span class="special">=</span></a><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;&amp;</span><span class="special">)</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="map.html#id658734-bb">public member functions</a></span>
  <span class="keyword">typedef</span> <a class="link" href="map.html#id658736-bb"><span class="identifier">ICL_COMPARE_DOMAIN</span></a><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">DomainT</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">typedef</span> <a class="link" href="map.html#id658752-bb"><span class="identifier">ICL_COMBINE_CODOMAIN</span></a><span class="special">(</span><span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">typedef</span> <a class="link" href="map.html#id658767-bb"><span class="identifier">ICL_COMPARE_DOMAIN</span></a><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">element_type</span><span class="special">)</span><span class="special">;</span>
   <a class="link" href="map.html#id658783-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> <span class="identifier">_total</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">is_total</span><span class="special">)</span><span class="special">)</span><span class="special">;</span>
   <a class="link" href="map.html#id658800-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> <span class="identifier">_absorbs</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">absorbs_identities</span><span class="special">)</span><span class="special">)</span><span class="special">;</span>
   <a class="link" href="map.html#id658816-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> 
                         <span class="identifier">total_invertible</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">mpl</span><span class="special">::</span><span class="identifier">and_</span><span class="special">&lt;</span> <span class="identifier">is_total</span><span class="special">&lt;</span> <a class="link" href="map.html" title="Class template map">type</a> <span class="special">&gt;</span><span class="special">,</span> <span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span>
   <a class="link" href="map.html#id658838-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> 
                         <span class="identifier">is_total_invertible</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">is_total</span> <span class="special">&amp;&amp;</span><span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span>
   <a class="link" href="map.html#id658856-bb"><span class="identifier">BOOST_STATIC_CONSTANT</span></a><span class="special">(</span><span class="keyword">int</span><span class="special">,</span> <span class="identifier">fineness</span> <span class="special">=</span> <span class="number">4</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">void</span> <a class="link" href="map.html#id658873-bb"><span class="identifier">swap</span></a><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> SubObject<span class="special">&gt;</span> <span class="keyword">bool</span> <a class="link" href="map.html#id658886-bb"><span class="identifier">contains</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">SubObject</span> <span class="special">&amp;</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
  <span class="keyword">bool</span> <a class="link" href="map.html#id658903-bb"><span class="identifier">within</span></a><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
  <span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <a class="link" href="map.html#id658917-bb"><span class="identifier">iterative_size</span></a><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
  <span class="identifier">codomain_type</span> <a class="link" href="map.html#id658936-bb"><span class="keyword">operator</span><span class="special">(</span><span class="special">)</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&amp;</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
  <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#id658951-bb"><span class="identifier">add</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="identifier">iterator</span> <a class="link" href="map.html#id658996-bb"><span class="identifier">add</span></a><span class="special">(</span><span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#id659037-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#id659067-bb"><span class="identifier">subtract</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special">&lt;</span> <span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">bool</span> <span class="special">&gt;</span> <a class="link" href="map.html#id659080-bb"><span class="identifier">insert</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="identifier">iterator</span> <a class="link" href="map.html#id659091-bb"><span class="identifier">insert</span></a><span class="special">(</span><span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Iterator<span class="special">&gt;</span> <span class="identifier">iterator</span> <a class="link" href="map.html#id659107-bb"><span class="identifier">insert</span></a><span class="special">(</span><span class="identifier">Iterator</span><span class="special">,</span> <span class="identifier">Iterator</span><span class="special">)</span><span class="special">;</span>
  <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#id659128-bb"><span class="identifier">set</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="identifier">size_type</span> <a class="link" href="map.html#id659156-bb"><span class="identifier">erase</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">void</span> <a class="link" href="map.html#id659182-bb"><span class="identifier">add_intersection</span></a><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
  <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#id659220-bb"><span class="identifier">flip</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> 
    <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">iterator</span> 
    <a class="link" href="map.html#id659233-bb"><span class="identifier">_add</span></a><span class="special">(</span><span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> 
    <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">&gt;</span> <span class="special">&amp;</span> 
    <a class="link" href="map.html#id659257-bb"><span class="identifier">_subtract</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>

  <span class="comment">// <a class="link" href="map.html#id659365-bb">private member functions</a></span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#id659367-bb"><span class="identifier">_add</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <span class="identifier">iterator</span> <a class="link" href="map.html#id659386-bb"><span class="identifier">_add</span></a><span class="special">(</span><span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a class="link" href="map.html#id659408-bb"><span class="identifier">_subtract</span></a><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span><span class="special">;</span>
  <span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> FragmentT<span class="special">&gt;</span> 
    <span class="keyword">void</span> <a class="link" href="map.html#id659427-bb"><span class="identifier">total_add_intersection</span></a><span class="special">(</span><a class="link" href="map.html#boost.icl.map.type">type</a> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">FragmentT</span> <span class="special">&amp;</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
  <span class="keyword">void</span> <a class="link" href="map.html#id659451-bb"><span class="identifier">partial_add_intersection</span></a><span class="special">(</span><a class="link" href="map.html#boost.icl.map.type">type</a> <span class="special">&amp;</span><span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span>
<span class="special">}</span><span class="special">;</span></pre></div>
<div class="refsect1" lang="en">
<a name="id1316264"></a><h2>Description</h2>
<div class="refsect2" lang="en">
<a name="id1316268"></a><h3>
<a name="boost.icl.mapconstruct-copy-destruct"></a><code class="computeroutput">map</code> 
        public
       construct/copy/destruct</h3>
<div class="orderedlist"><ol type="1">
<li><pre class="literallayout"><a name="id659276-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><a name="id659277-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">key_compare</span> <span class="special">&amp;</span> comp<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> InputIterator<span class="special">&gt;</span> <a name="id659283-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="identifier">InputIterator</span> first<span class="special">,</span> <span class="identifier">InputIterator</span> past<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> InputIterator<span class="special">&gt;</span> 
  <a name="id659300-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="identifier">InputIterator</span> first<span class="special">,</span> <span class="identifier">InputIterator</span> past<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">key_compare</span> <span class="special">&amp;</span> comp<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><a name="id659322-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> src<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">explicit</span> <a name="id659331-bb"></a><span class="identifier">map</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><a name="id659348-bb"></a><span class="identifier">map</span><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;&amp;</span> src<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout">map&amp; <a name="id659338-bb"></a><span class="keyword">operator</span><span class="special">=</span><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> src<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout">map&amp; <a name="id659356-bb"></a><span class="keyword">operator</span><span class="special">=</span><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;&amp;</span> src<span class="special">)</span><span class="special">;</span></pre></li>
</ol></div>
</div>
<div class="refsect2" lang="en">
<a name="id1316659"></a><h3>
<a name="id658734-bb"></a><code class="computeroutput">map</code> public member functions</h3>
<div class="orderedlist"><ol type="1">
<li><pre class="literallayout"><span class="keyword">typedef</span> <a name="id658736-bb"></a><span class="identifier">ICL_COMPARE_DOMAIN</span><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">DomainT</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">typedef</span> <a name="id658752-bb"></a><span class="identifier">ICL_COMBINE_CODOMAIN</span><span class="special">(</span><span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">typedef</span> <a name="id658767-bb"></a><span class="identifier">ICL_COMPARE_DOMAIN</span><span class="special">(</span><span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">element_type</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"> <a name="id658783-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> <span class="identifier">_total</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">is_total</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"> <a name="id658800-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> <span class="identifier">_absorbs</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">absorbs_identities</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"> <a name="id658816-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> 
                       <span class="identifier">total_invertible</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">mpl</span><span class="special">::</span><span class="identifier">and_</span><span class="special">&lt;</span> <span class="identifier">is_total</span><span class="special">&lt;</span> <a class="link" href="map.html" title="Class template map">type</a> <span class="special">&gt;</span><span class="special">,</span> <span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"> <a name="id658838-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">bool</span><span class="special">,</span> 
                       <span class="identifier">is_total_invertible</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">Traits</span><span class="special">::</span><span class="identifier">is_total</span> <span class="special">&amp;&amp;</span><span class="identifier">has_inverse</span><span class="special">&lt;</span> <span class="identifier">codomain_type</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">value</span><span class="special">)</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"> <a name="id658856-bb"></a><span class="identifier">BOOST_STATIC_CONSTANT</span><span class="special">(</span><span class="keyword">int</span><span class="special">,</span> <span class="identifier">fineness</span> <span class="special">=</span> <span class="number">4</span><span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">void</span> <a name="id658873-bb"></a><span class="identifier">swap</span><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> src<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> SubObject<span class="special">&gt;</span> <span class="keyword">bool</span> <a name="id658886-bb"></a><span class="identifier">contains</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">SubObject</span> <span class="special">&amp;</span> sub<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">bool</span> <a name="id658903-bb"></a><span class="identifier">within</span><span class="special">(</span><span class="keyword">const</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> super<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
<li>
<pre class="literallayout"><span class="identifier">std</span><span class="special">::</span><span class="identifier">size_t</span> <a name="id658917-bb"></a><span class="identifier">iterative_size</span><span class="special">(</span><span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>
<p><code class="computeroutput">iterative_size()</code> yields the number of elements that is visited throu complete iteration. For interval sets <code class="computeroutput">iterative_size()</code> is different from <code class="computeroutput">size()</code>. </p>
</li>
<li>
<pre class="literallayout"><span class="identifier">codomain_type</span> <a name="id658936-bb"></a><span class="keyword">operator</span><span class="special">(</span><span class="special">)</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&amp;</span> key<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>
<p>Total select function. </p>
</li>
<li>
<pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="id658951-bb"></a><span class="identifier">add</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
<p><code class="computeroutput">add</code> inserts <code class="computeroutput">value_pair</code> into the <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code> if it's key does not exist in the <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code>. If <code class="computeroutput">value_pairs's</code> key value exists in the <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code>, it's data value is added to the data value already found in the <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code>. </p>
</li>
<li>
<pre class="literallayout"><span class="identifier">iterator</span> <a name="id658996-bb"></a><span class="identifier">add</span><span class="special">(</span><span class="identifier">iterator</span> prior<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
<p><code class="computeroutput">add</code> add <code class="computeroutput">value_pair</code> into the <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code> using <code class="computeroutput">prior</code> as a hint to insert <code class="computeroutput">value_pair</code> after the position <code class="computeroutput">prior</code> is pointing to. </p>
</li>
<li>
<pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="id659037-bb"></a><span class="identifier">subtract</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre>
<p>If the <code class="computeroutput">value_pair's</code> key value is in the <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code>, it's data value is subtraced from the data value stored in the <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code>. </p>
</li>
<li><pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="id659067-bb"></a><span class="identifier">subtract</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">domain_type</span> <span class="special">&amp;</span> key<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="identifier">std</span><span class="special">::</span><span class="identifier">pair</span><span class="special">&lt;</span> <span class="identifier">iterator</span><span class="special">,</span> <span class="keyword">bool</span> <span class="special">&gt;</span> <a name="id659080-bb"></a><span class="identifier">insert</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="identifier">iterator</span> <a name="id659091-bb"></a><span class="identifier">insert</span><span class="special">(</span><span class="identifier">iterator</span> prior<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Iterator<span class="special">&gt;</span> <span class="identifier">iterator</span> <a name="id659107-bb"></a><span class="identifier">insert</span><span class="special">(</span><span class="identifier">Iterator</span> first<span class="special">,</span> <span class="identifier">Iterator</span> last<span class="special">)</span><span class="special">;</span></pre></li>
<li>
<pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="id659128-bb"></a><span class="identifier">set</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre>
<p>With <code class="computeroutput">key_value_pair = (k,v)</code> set value <code class="computeroutput">v</code> for key <code class="computeroutput">k</code> </p>
</li>
<li>
<pre class="literallayout"><span class="identifier">size_type</span> <a name="id659156-bb"></a><span class="identifier">erase</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> key_value_pair<span class="special">)</span><span class="special">;</span></pre>
<p>erase <code class="computeroutput">key_value_pair</code> from the <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code>. Erase only if, the exact value content <code class="computeroutput">val</code> is stored for the given key. </p>
</li>
<li>
<pre class="literallayout"><span class="keyword">void</span> <a name="id659182-bb"></a><span class="identifier">add_intersection</span><span class="special">(</span><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> key_value_pair<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre>
<p>The intersection of <code class="computeroutput">key_value_pair</code> and <code class="computeroutput">*this</code> <code class="computeroutput"><a class="link" href="map.html" title="Class template map">map</a></code> is added to <code class="computeroutput">section</code>. </p>
</li>
<li><pre class="literallayout"><a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="id659220-bb"></a><span class="identifier">flip</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> operand<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> 
  <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">&gt;</span><span class="special">::</span><span class="identifier">iterator</span> 
  <a name="id659233-bb"></a><span class="identifier">_add</span><span class="special">(</span><span class="identifier">iterator</span> prior_<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span> addend<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> 
  <a class="link" href="map.html" title="Class template map">map</a><span class="special">&lt;</span> <span class="identifier">DomainT</span><span class="special">,</span> <span class="identifier">CodomainT</span><span class="special">,</span> <span class="identifier">Traits</span><span class="special">,</span> <span class="identifier">Compare</span><span class="special">,</span> <span class="identifier">Combine</span><span class="special">,</span> <span class="identifier">Section</span><span class="special">,</span> <span class="identifier">Alloc</span> <span class="special">&gt;</span> <span class="special">&amp;</span> 
  <a name="id659257-bb"></a><span class="identifier">_subtract</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">value_type</span> <span class="special">&amp;</span> minuend<span class="special">)</span><span class="special">;</span></pre></li>
</ol></div>
</div>
<div class="refsect2" lang="en">
<a name="id1318415"></a><h3>
<a name="id659365-bb"></a><code class="computeroutput">map</code> private member functions</h3>
<div class="orderedlist"><ol type="1">
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="id659367-bb"></a><span class="identifier">_add</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> 
  <span class="identifier">iterator</span> <a name="id659386-bb"></a><span class="identifier">_add</span><span class="special">(</span><span class="identifier">iterator</span> prior<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> Combiner<span class="special">&gt;</span> <a class="link" href="map.html" title="Class template map">map</a> <span class="special">&amp;</span> <a name="id659408-bb"></a><span class="identifier">_subtract</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> value_pair<span class="special">)</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">template</span><span class="special">&lt;</span><span class="keyword">typename</span> FragmentT<span class="special">&gt;</span> 
  <span class="keyword">void</span> <a name="id659427-bb"></a><span class="identifier">total_add_intersection</span><span class="special">(</span><a class="link" href="map.html#boost.icl.map.type">type</a> <span class="special">&amp;</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">FragmentT</span> <span class="special">&amp;</span> fragment<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
<li><pre class="literallayout"><span class="keyword">void</span> <a name="id659451-bb"></a><span class="identifier">partial_add_intersection</span><span class="special">(</span><a class="link" href="map.html#boost.icl.map.type">type</a> <span class="special">&amp;</span> section<span class="special">,</span> <span class="keyword">const</span> <span class="identifier">element_type</span> <span class="special">&amp;</span> operand<span class="special">)</span> <span class="keyword">const</span><span class="special">;</span></pre></li>
</ol></div>
</div>
</div>
</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
<td align="left"></td>
<td align="right"><div class="copyright-footer">Copyright &#169; 2007 -2010 Joachim Faulhaber<br>Copyright &#169; 1999 -2006 Cortex Software GmbH<p>
        Distributed under the Boost Software License, Version 1.0. (See accompanying
        file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
      </p>
</div></td>
</tr></table>
<hr>
<div class="spirit-nav">
<a accesskey="p" href="total_enricher.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../../header/boost/icl/map_hpp.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="map/on_codomain_model_id658058.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
</div>
</body>
</html>
